Differential Tannakian categories
نویسنده
چکیده
We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces over the base field, then it is equivalent to the category of representations of a (pro-)linear differential algebraic group. Our treatment of the problem is via differential Hopf algebras and Deligne’s fibre functor construction [1].
منابع مشابه
On Differential Tannakian Categories and Coleman Integration
As part of my introductory lectures on Coleman integration, to be published in the proceedings of PIA 2010 The arithmetic of fundamental groups, I discussed the Galois theory of differential equations and the theory of differential Tannakian categories, with a speculative application to Coleman integration in families. The referee of the paper thought it was not appropriate to discuss this mate...
متن کاملTannakian Categories, Linear Differential Algebraic Groups, and Parameterized Linear Differential Equations
We provide conditions for a category with a fiber functor to be equivalent to the category of representations of a linear differential algebraic group. This generalizes the notion of a neutral Tannakian category used to characterize the category of representations of a linear algebraic group [18, 9].
متن کاملTannakian Categories, Linear Differential Algebraic Groups, and Parametrized Linear Differential Equations
Tannaka’s theorem (cf. [19]) states that a linear algebraic group is determined by its category of representations. The problem of recognizing when a category is the category of representations of a linear algebraic group (or, more generally, an affine group scheme) is attacked via the theory of neutral Tannakian categories (see [18], [9]). This theory allows one to detect the underlying presen...
متن کاملTannakian Categories with Semigroup Actions
Ostrowski’s theorem implies that log(x), log(x + 1), . . . are algebraically independent over C(x). More generally, for a linear differential or difference equation, it is an important problem to find all algebraic dependencies among a non-zero solution y and particular transformations of y, such as derivatives of y with respect to parameters, shifts of the arguments, rescaling, etc. In the pre...
متن کاملQuotients of Tannakian Categories
We classify the “quotients” of a tannakian category in which the objects of a tannakian subcategory become trivial, and we examine the properties of such quotient categories.
متن کامل